This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Semantics and Verification". It contains the Coq development and the appendix for the paper
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact associated with the paper "Demystifying Issues, Challenges, and Solutions for M...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Item does not contain fulltextThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Lo...
This is the artifact for the POPL'20 paper "The High-Level Benefits of Low-Level Sandboxing". It con...
The artifact accompanying the POPL21 paper titled "Fully Abstract from Static to Gradual" can be ins...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact associated with the paper "Demystifying Issues, Challenges, and Solutions for M...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
Item does not contain fulltextThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Lo...
This is the artifact for the POPL'20 paper "The High-Level Benefits of Low-Level Sandboxing". It con...
The artifact accompanying the POPL21 paper titled "Fully Abstract from Static to Gradual" can be ins...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact associated with the paper "Demystifying Issues, Challenges, and Solutions for M...
DOI
Add to ORKG